#include <stdio.h>

int main()
{
double x;
scanf("%lf",&x);
printf("%.8f\n",x*1.0/23);
    return 0;
}
